\documentclass[]{article}
\usepackage{fullpage}
\usepackage{times}

\usepackage{amsfonts,color,amssymb,graphicx,stmaryrd}
\usepackage{amsmath}

\input{macros}

\usepackage{hyperref}

\begin{document}


\input{inputgivenoutput}
\input{equivalence}
\input{minimization}


%\bibliographystyle{latex8}
%\bibliography{STTbib}

\end{document}
